/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
≥July 14, 1978 




␈↓ ↓H␈↓Miss Sylvia A Bressey, Assistant Registrar
␈↓ ↓H␈↓Registrar's O≠ce
␈↓ ↓H␈↓University of Essex
␈↓ ↓H␈↓Colchester CO4 3SQ

␈↓ ↓H␈↓Dear Miss Bressey:

␈↓ ↓H␈↓        I␈α∩have␈α∩had␈α∩the␈α∩following␈α∩contacts␈α∩with␈α∩Pat␈α∩Hayes.␈α∩ He␈α∩visited␈α∩the␈α∩Stanford␈α⊃Arti≡cial
␈↓ ↓H␈↓Intelligence␈α∞Laboratory␈α∞when␈α∞he␈α
was␈α∞a␈α∞graduate␈α∞student,␈α∞and␈α
we␈α∞collaborated␈α∞on␈α∞a␈α∞paper␈α
␈↓↓Some
␈↓ ↓H␈↓↓Philosophical␈α∀Problems␈α∀from␈α∀the␈α∀Standpoint␈α∀of␈α∀Arti≡cial␈α∀Intelligence␈↓.␈α∀ He␈α∀wrote␈α∀the␈α∪sections
␈↓ ↓H␈↓reviewing␈αthe␈αrelevant␈αphilosophical␈αliterature.␈α Since␈αthen␈αI␈αhave␈αfollowed␈αhis␈αwork␈αthrough␈αthe
␈↓ ↓H␈↓computer science literature.

␈↓ ↓H␈↓        I␈α⊃know␈α⊂of␈α⊃two␈α⊃main␈α⊂areas␈α⊃in␈α⊂which␈α⊃he␈α⊃has␈α⊂contributed␈α⊃to␈α⊂computer␈α⊃science␈α⊃-␈α⊂theorem
␈↓ ↓H␈↓proving␈α
in␈α
≡rst␈α
order␈α
logic␈αtogether␈α
with␈α
using␈α
≡rst␈α
order␈αlogic␈α
as␈α
a␈α
programming␈α
language␈αand
␈↓ ↓H␈↓epistemological␈α∀problems␈α∪of␈α∀arti≡cial␈α∪intelligence.␈α∀ In␈α∪the␈α∀≡rst␈α∪area,␈α∀I␈α∪would␈α∀judge␈α∀that␈α∪his
␈↓ ↓H␈↓contributions have been important, but I suppose not as in∨uential as those of Kowalski.

␈↓ ↓H␈↓        In␈αthe␈α
very␈αdi≠cult␈α
≡eld␈αof␈α
the␈αepistemological␈α
problems␈αof␈α
arti≡cial␈αintellgence,␈α
he␈αis␈αone␈α
of
␈↓ ↓H␈↓the␈αvery␈αfew␈αpeople␈αwho␈αhave␈αstuck␈αwith␈αthe␈α≡eld␈αother␈αthan␈αmyself.␈α Maybe␈αhe␈αis␈αthe␈αonly␈αother
␈↓ ↓H␈↓person␈α
to␈α∞make␈α
continued␈α∞contributions.␈α
 I␈α
think␈α∞the␈α
≡eld␈α∞is␈α
very␈α
important,␈α∞and␈α
when␈α∞it␈α
opens
␈↓ ↓H␈↓out,␈αas␈αI␈αexpect␈αit␈αwill,␈αI␈αbelieve␈αthat␈αHayes's␈αwork␈αwill␈αbe␈αfound␈αto␈αbe␈αa␈αsource␈αof␈αin∨uential␈αand
␈↓ ↓H␈↓important␈α⊂ideas.␈α⊂ By␈α∂opening␈α⊂out,␈α⊂I␈α⊂mean␈α∂that␈α⊂a␈α⊂collection␈α∂of␈α⊂technical␈α⊂problems␈α⊂will␈α∂develop
␈↓ ↓H␈↓which␈α∞can␈α∞be␈α
studied␈α∞by␈α∞people␈α
whose␈α∞technical␈α∞ability␈α∞is␈α
less␈α∞than␈α∞their␈α
ability␈α∞to␈α∞see␈α∞a␈α
broad
␈↓ ↓H␈↓picture.

␈↓ ↓H␈↓        Hayes is more important as an idea generator than as a system builder.

␈↓ ↓H␈↓        As␈αto␈αthe␈αday-to-day␈αwork␈αof␈αa␈αuniversity␈αteacher,␈αI␈αhave␈αno␈αdoubt␈αthat␈αHayes␈αhas␈αand␈αwill
␈↓ ↓H␈↓continue␈α
to␈α
carry␈α
his␈α
share␈α
of␈α
the␈α
load.␈α He␈α
has␈α
good␈α
sense,␈α
keeps␈α
his␈α
promises,␈α
co-operates␈αwell
␈↓ ↓H␈↓with others, and shows leadership in practical matters as well as in his specialty.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science